rule of consequence

un. 后继规则